integration of sec^2(2x)